1、命题变元
... 复合命题 sentential combination 命题变元；语句变元 sentential variable 可分性；可列分性 separability ...
2、语句变元
... 复合命题 sentential combination 命题变元；语句变元 sentential variable 可分性；可列分性 separability ...
3、语句变数
... sentential calculus 语句演算 sentential variable 语句变数 pragmatic presupposition 语用上的预设 ...